Technical Report No. 2009-555 An Exploration of Semantic Formalisms - Part II: A Brief Survey of Other Semantic Formalisms∗
نویسنده
چکیده
A previous paper examined Montague’s Intensional Logic, the First Order Predicate Calculus and Jackendoff’s Conceptual Structures. The purpose of this paper is to examine other semantic formalisms, and to explore whether or not any of these formalisms has a degree of user-friendliness and expressiveness that would make it appropriate for a generalized semantic tool that would be applicable to any linguistic domain.
منابع مشابه
No . 2009 - 554 An Exploration of Semantic Formalisms - Part I : A Comparison of First Order Predicate Calculus , Intensional
This summary paper describes the general properties and features of two systems of semantic representation: Montague’s Intensional Logic and Jackendoff’s Conceptual Structures. Each system of representation is based upon a different type of semantic theory, and thus each one is meant to express different semantic and linguistic phenomena. The basic concepts of how each formalism works and their...
متن کاملSemantic Web Query Languages
DEFINITION A number of formalisms have been proposed for representing data and meta data on the Semantic Web. In particular, RDF, Topic Maps and OWL allow one to describe relationships between data items, such as concept hierarchies and relations between the concepts. A key requirement for the Semantic Web is integrated access to data represented in any of these formalisms, as well the ability ...
متن کاملILexicOn: toward an ECD-compliant interlingual lexical ontology described with semantic web formalisms
We are interested in bridging the world of natural language and the world of the semantic web in particular to support natural multilingual access to the web of data. In this paper we introduce a new type of lexical ontology called interlingual lexical ontology (ILexicOn), which uses semantic web formalisms to make each interlingual lexical unit class (ILU) support the projection of its semanti...
متن کاملMulti Visualization and Dynamic Query for Effective Exploration of Semantic Data
Semantic formalisms represent content in a uniform way according to ontologies. This enables manipulation and reasoning via automated means (e.g. Semantic Web services), but limits the user’s ability to explore the semantic data from a point of view that originates from knowledge representation motivations. We show how, for user consumption, a visualization of semantic data according to some ea...
متن کاملRelationships with other Formalisms
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issues or not. We concentrated on those representation formalisms that either (1) had or have a strong influence on Description Logics (e.g., modal logics), (2) are closely related to Description Logics for historical reas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009